A Formal Approach to Distinguish Games, Toys, Serious Games and Toys, Serious Repurposing and Modding, and Simulators | IEEE Journals & Magazine | IEEE Xplore